an abstract representation of zero